2,611 research outputs found
Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms
We present a straightforward source-to-source transformation that introduces
justifications for user-defined constraints into the CHR programming language.
Then a scheme of two rules suffices to allow for logical retraction (deletion,
removal) of constraints during computation. Without the need to recompute from
scratch, these rules remove not only the constraint but also undo all
consequences of the rule applications that involved the constraint. We prove a
confluence result concerning the rule scheme and show its correctness. When
algorithms are written in CHR, constraints represent both data and operations.
CHR is already incremental by nature, i.e. constraints can be added at runtime.
Logical retraction adds decrementality. Hence any algorithm written in CHR with
justifications will become fully dynamic. Operations can be undone and data can
be removed at any point in the computation without compromising the correctness
of the result. We present two classical examples of dynamic algorithms, written
in our prototype implementation of CHR with justifications that is available
online: maintaining the minimum of a changing set of numbers and shortest paths
in a graph whose edges change.Comment: Pre-proceedings paper presented at the 27th International Symposium
on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur,
Belgium, 10-12 October 2017 (arXiv:1708.07854
Rings and spirals in barred galaxies. I Building blocks
In this paper we present building blocks which can explain the formation and
properties both of spirals and of inner and outer rings in barred galaxies. We
first briefly summarise the main results of the full theoretical description we
have given elsewhere, presenting them in a more physical way, aimed to an
understanding without the requirement of extended knowledge of dynamical
systems or of orbital structure. We introduce in this manner the notion of
manifolds, which can be thought of as tubes guiding the orbits. The dynamics of
these manifolds can govern the properties of spirals and of inner and outer
rings in barred galaxies. We find that the bar strength affects how unstable
the L1 and L2 Lagrangian points are, the motion within the 5A5A5Amanifold tubes
and the time necessary for particles in a manifold to make a complete turn
around the galactic centre. We also show that the strength of the bar, or, to
be more precise, of the non-axisymmetric forcing at and somewhat beyond the
corotation region, determines the resulting morphology. Thus, less strong bars
give rise to R1 rings or pseudorings, while stronger bars drive R2, R1R2 and
spiral morphologies. We examine the morphology as a function of the main
parameters of the bar and present descriptive two dimensional plots to that
avail. We also derive how the manifold morphologies and properties are modified
if the L1 and L2 Lagrangian points become stable. Finally, we discuss how
dissipation affects the manifold properties and compare the manifolds in
gas-like and in stellar cases. Comparison with observations, as well as clear
predictions to be tested by observations will be given in an accompanying
paper.Comment: Typos corrected to match the version in press in MNRA
Reconstruction of electrons with the Gaussian-sum filter in the CMS tracker at LHC
The bremsstrahlung energy loss distribution of electrons propagating in
matter is highly non Gaussian. Because the Kalman filter relies solely on
Gaussian probability density functions, it might not be an optimal
reconstruction algorithm for electron tracks. A Gaussian-sum filter (GSF)
algorithm for electron track reconstruction in the CMS tracker has therefore
been developed. The basic idea is to model the bremsstrahlung energy loss
distribution by a Gaussian mixture rather than a single Gaussian. It is shown
that the GSF is able to improve the momentum resolution of electrons compared
to the standard Kalman filter. The momentum resolution and the quality of the
estimated error are studied with various types of mixture models of the energy
loss distribution.Comment: Talk from the 2003 Computing in High Energy and Nuclear Physics
(CHEP03), La Jolla, Ca, USA, March 2003, LaTeX, 14 eps figures. PSN TULT00
Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming
The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.Singapore-MIT Alliance (SMA
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification
The growing importance of XML as a data interchange standard demands languages for data querying and transformation. Since the mid 90es, several such languages have been proposed that are inspired from functional languages (such as XSLT [1]) and/or database query languages (such as XQuery [2]). This paper addresses applying logic programming concepts and techniques to designing a declarative, rule-based query and transformation language for XML and semistructured data. The paper first introduces issues specific to XML and semistructured data such as the necessity of flexible “query terms” and of “construct terms”. Then, it is argued that logic programming concepts are particularly appropriate for a declarative query and transformation language for XML and semistructured data. Finally, a new form of unification, called “simulation unification”, is proposed for answering “query terms”, and it is illustrated on examples
Model-Based Clustering and Classification of Functional Data
The problem of complex data analysis is a central topic of modern statistical
science and learning systems and is becoming of broader interest with the
increasing prevalence of high-dimensional data. The challenge is to develop
statistical models and autonomous algorithms that are able to acquire knowledge
from raw data for exploratory analysis, which can be achieved through
clustering techniques or to make predictions of future data via classification
(i.e., discriminant analysis) techniques. Latent data models, including mixture
model-based approaches are one of the most popular and successful approaches in
both the unsupervised context (i.e., clustering) and the supervised one (i.e,
classification or discrimination). Although traditionally tools of multivariate
analysis, they are growing in popularity when considered in the framework of
functional data analysis (FDA). FDA is the data analysis paradigm in which the
individual data units are functions (e.g., curves, surfaces), rather than
simple vectors. In many areas of application, the analyzed data are indeed
often available in the form of discretized values of functions or curves (e.g.,
time series, waveforms) and surfaces (e.g., 2d-images, spatio-temporal data).
This functional aspect of the data adds additional difficulties compared to the
case of a classical multivariate (non-functional) data analysis. We review and
present approaches for model-based clustering and classification of functional
data. We derive well-established statistical models along with efficient
algorithmic tools to address problems regarding the clustering and the
classification of these high-dimensional data, including their heterogeneity,
missing information, and dynamical hidden structure. The presented models and
algorithms are illustrated on real-world functional data analysis problems from
several application area
Subtyping constraints in quasi-lattices
In this report, we show the decidability and NP-completeness of the satisfiability problem for non-structural subtyping constraints in quasi-lattices. This problem, first introduced by Smolka in 1989, is important for the typing of logic and functional languages. The decidability result is obtained by generalizing Trifonov and Smith's algorithm over lattices, to the case of quasi-lattices. Similarly, we extend Pottier's algorithm for computing explicit solutions to the case of quasi-lattices. Finally we evoke some applications of these results to type inference in constraint logic programming and functional programming languages
- …